Derek Stanford

Results: 29



#Item
21Advantage / Cryptographic protocol / Cipher / XTR / Cryptography / Ciphertext indistinguishability / Semantic security

Inductive Trace Properties for Computational Security Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell Department of Computer Science, Stanford University Abstract. Protocol authentication properties are generally

Add to Reading List

Source URL: theory.stanford.edu

Language: English - Date: 2007-12-18 00:33:31
22Dolev-Yao model / Public-key cryptography / Protocol composition logic / XTR / Cryptographic primitive / Semantic security / Secure channel / Key-agreement protocol / Commitment scheme / Cryptography / Cryptographic protocols / Ciphertext indistinguishability

Computationally sound compositional logic for key exchange protocols ∗ Anupam Datta, Ante Derek, John C. Mitchell Dept. Computer Science, Stanford University {danupam, aderek, mitchell}@cs.stanford.edu Abstract

Add to Reading List

Source URL: theory.stanford.edu

Language: English - Date: 2007-12-18 00:37:13
23Ethology / Virtual world / Mind / Hyperbolic discounting / Intertemporal choice / Derek Parfit / Psychology of self / Empathy / Virtual community / Virtual reality / Behavior / Social psychology

HAL E. HERSHFIELD, DANIEL G. GOLDSTEIN, WILLIAM F. SHARPE, JESSE FOX, LEO YEYKELIS, LAURA L. CARSTENSEN, and JEREMY N. BAILENSON? Many people fail to save what they will need for retirement. Research on excessive discoun

Add to Reading List

Source URL: vhil.stanford.edu

Language: English - Date: 2011-10-12 12:41:41
24Government / Closing argument / Jury trial / Scientific jury selection / Legal procedure / Juries / Law

Journal of Behavioral Decision Making, Vol. 9, [removed]On the Evaluation of One-sided Evidence LYLE A. BRENNER, DEREK J. KOEHLER A N D A M O S TVERSKY Stanford University, USA

Add to Reading List

Source URL: www.arts.uwaterloo.ca

Language: English - Date: 2007-10-02 11:49:35
25Dispute resolution / Pacifism / Peace and conflict studies / Peace makers / Ethics / Peace / Nonviolence

Beyond Diplomacy By Derek Brown Stanford Social Innovation Review Winter 2014 Copyright  2014 by Leland Stanford Jr. University

Add to Reading List

Source URL: www.ssireview.org

Language: English - Date: 2013-11-19 17:28:26
26Climate change / Economics / Carbon finance / Emissions trading / Economics of global warming / Natural gas / Carbon offset / Green paradox / Greenhouse gas / Climate change policy / Environmental economics / Environment

Green Expectations: Current Effects of Anticipated Carbon Pricing∗ Derek Lemoine Department of Economics, University of Arizona McClelland Hall 401, 1130 E Helen St, Tucson, AZ, [removed], USA [removed]ona.e

Add to Reading List

Source URL: www.stanford.edu

Language: English - Date: 2013-07-27 14:22:54
27Chronic fatigue syndrome / Stanford University School of Medicine / Derek Enlander / Controversies related to chronic fatigue syndrome / Health / Neurological disorders / Syndromes

2014 STANFORD MYALGIC ENCEPHALOMYELITIS/ CHRONIC FATIGUE SYNDROME SYMPOSIUM Advances in Clinical Care and Translational Research March 19, 2014 – 8:30 am to 6:00 pm Li Ka Shing Center for Learning and Knowledge, Stanfo

Add to Reading List

Source URL: chronicfatigue.stanford.edu

Language: English - Date: 2014-02-05 18:29:43
28Cloud clients / Smartphones / Artificial intelligence applications / Computational linguistics / Computer vision / Optical character recognition / Comparison of optical character recognition software / Edge detection / IPhone / Computing / Software / Artificial intelligence

Mobile Camera Based Text Detection and Translation Derek Ma

Add to Reading List

Source URL: www.stanford.edu

Language: English - Date: 2011-06-07 00:30:43
29Loitering with Intent / British literature / Novellas / The Comforters / Spark / The Prime of Miss Jean Brodie / A Far Cry From Kensington / Muriel / Derek Stanford / Literature / British people / Muriel Spark

PDF Document

Add to Reading List

Source URL: lib.ugent.be

Language: English - Date: 2009-08-08 15:14:54
UPDATE